most general unifier - Spanisch Englisch Wörterbuch